xend: Use get_config_string for 'keymap' and 'resource-label-change-script'.
authorKeir Fraser <keir.fraser@citrix.com>
Mon, 9 Jun 2008 08:42:51 +0000 (09:42 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Mon, 9 Jun 2008 08:42:51 +0000 (09:42 +0100)
commit50cd7ffdad92f029635c66d7f616cff2a7c14c14
treeb579c932eaef78a22f1aece0c2709313f1d19ccf
parentbab287fed32d5065e01735d53808c21990408835
xend: Use get_config_string for 'keymap' and 'resource-label-change-script'.
Signed-off-by: Juergen Keil <jk@tools.de>
tools/python/xen/xend/XendOptions.py